|
Your search returned 8 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 04 |
Static Analysis Of Real-Time Distributed Systems
(Article)
Subject:
Action Set
,
Automation
,
Composition Algebra
Author:
Leo Yuhsiang
Liu
R. K.
Amasundar
page:
373
-
388
The Effect Of Data Abstraction On Loop Programming Techniques
(Article)
Subject:
Abstract Data Type
,
Ada
,
Control Structure Selection
,
Loops
Author:
J.M.
Bishop
page:
389
-
402
Statemate A Working Environment For The Development Of Complex Reactive Systems
(Article)
Subject:
Code-Generation
,
Propotying
,
Reactive System
Author:
David
Harel
Hagi
Lachover
Mark
Trakhtenbrot
page:
403\
-
414
Optimal Distributed Resilient Election In Complete Networks
(Article)
Subject:
Complete Networks
,
Distributed Algorithm
,
Fault-Tolerance
Author:
Alon
Itai
Yaron
Wolfstahl
S
Zaks
page:
415
-
420
Region Scheduling An Approach For Detecting And Redistributing Parallelism
(Article)
Subject:
Code Optimization
,
Code Scheduling
,
Parallelism
Author:
Rajiv
Gupta
Mary Lou
Soffa
page:
421
-
431
The Use Of Self Checks And Voting In Software Error Detection An Empirical Study
(Article)
Subject:
Acceptance
,
Assertions
,
Software Reliability
Author:
Nancy G.
Leveson
Stephen S.
Cha
Timothy J.
Shimeall
page:
432
-
443
Modeling Of Hierarchical Distributed Systems With Fault Tolerance
(Article)
Subject:
Communicating Processes
,
Fault-Tolerance
,
Rollback Recovery
Author:
Yuan-Bao
Shieh
Satish K.
Tripathi
Prasad R.
Chintamaneni
page:
444
-
457
Recalibrating Software Reliability Models
(Article)
Subject:
Prediction Accuracy
,
Recalibration
,
Reliability
Author:
Sarah
Brocklehurst
Bev
Littlewood
Luke M
Snell
page:
458
-
470
|
|
| | |